Nuprl Definition : es-le
11,40
postcript
pdf
es-le(
es
;
e
;
e'
) == es-locl(
es
;
e
;
e'
)
(
e
=
e'
)
latex
clarification:
es-le(
es
;
e
;
e'
) == es-locl(
es
;
e
;
e'
)
(
e
=
e'
es-E(
es
))
latex
Definitions
es-E(
es
)
,
es-locl(
es
;
e
;
e'
)
,
P
Q
FDL editor aliases
es-le
origin
(e = e')
(e = e' 
es-E(es)) (e = e')
(e = e' es-E(es)) Q